Then the king got up in great grief, stretching himself out on the earth: and all his servants were by his side, with their clothing parted.